vsprintf: introduce %pv extended format specifier to print domain/vcpu ID pair
authorJan Beulich <jbeulich@suse.com>
Fri, 28 Feb 2014 16:04:04 +0000 (17:04 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 28 Feb 2014 16:04:04 +0000 (17:04 +0100)
commit2315025ccedb63e9aff69f8f2425258bca6921f4
tree9e52d038260332dc6197c0ea029d8f896b5cbfb5
parent7bedbbb5c31ec7d7e653b4fc606c9871661d5e89
vsprintf: introduce %pv extended format specifier to print domain/vcpu ID pair

... in a simplified and consistent way.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
12 files changed:
docs/misc/printk-formats.txt
xen/arch/x86/cpu/mcheck/vmce.c
xen/arch/x86/hvm/vmx/vmx.c
xen/arch/x86/hvm/vmx/vpmu_core2.c
xen/arch/x86/mm/shadow/common.c
xen/arch/x86/traps.c
xen/common/domain.c
xen/common/keyhandler.c
xen/common/sched_credit2.c
xen/common/schedule.c
xen/common/vsprintf.c
xen/include/xen/config.h